 |
0 索取号:TP302-53/E801/6 作者:Asilomar Conference on Circuits and Systems (6th : 1972 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:New York : IEEE, 1972.
|  |
0 索取号:TP302-53/E801/5 作者:Asilomar Conference on Circuits and Systems (5th : 1971 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1972]
|
 |
0 索取号:O24-53/E803/5 作者:ACM Symposium on Theory of Computing (5th : 1973 : Austin、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、 出版社:New York : Association for Computing Machinery, 1973.
|  |
0 索取号:O24-53/E803/3 作者:ACM Symposium on Theory of Computing (3rd : 1971 : Shaker Heights、 Ohio)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、 出版社:New York : ACM, Special Interest Group for Automata and Computability Theory, 1971.
|
 |
0 索取号:O24-53/E803/1969 作者:ACM Symposium on Theory of Computing (1969 : Marina del Rey、 Calif.)、Association for Computing Machinery. Special Interest Committee for Automata and Computability.、 出版社:New York, Available from ACM Order Dept. [1969].
|  |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|
 |
0 索取号:TP3-53/E8014/1981 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、 出版社:Berlin ; New York : Springer-Verlag, 1981.
|  |
0 索取号:TP3-55/E9010 作者: 出版社:Berlin ; New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP3-53/E8014/1980 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna、 Poland)、Dembiński、 Piotr.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|  |
0 索取号:TP3-55/E801 作者:International Symposium on Computing Methods in Applied Sciences and Engineering (1st : 1973 : Versailles)、Glowinski、 R.、 ed.、Lions、 Jacques Louis、 ed.、Iria Laboria.、 出版社:Berlin ; New York : Springer-Verlag, 1974.
|
 |
0 索取号:TP3-53/E8025/1975 作者:Sagamore Computer Conference on Parallel Processing (1975 : Raquette Lake、 N.Y.)、Syracuse University. Dept. of Electrical and Computer Engineering.、 出版社:Long Beach, CA : available from IEEE Computer Society, c1975.
|  |
0 索取号:TP3-53/E8025/1973 作者:Sagamore Computer Conference on Parallel Processing.、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、Syracuse University. Dept. of Electrical & Computer Engineering.、 出版社:[Syracuse, NY] : Dept. of Electrical & Computer Engineering, Syracuse University in cooperation with IEEE : ACM, c1973.
|
 |
0 索取号:TP3-53/E908/7 作者:International Symposium on Fault-Tolerant Computing (7th : 1977 : Los Angeles)、Institute of Electrical and Electronics Engineers.、IEEE Computer Society、 出版社:New York : Institute of Electrical and Electronics Engineers, Inc., 1977.
|  |
0 索取号:TP3-53/E905/21 作者:Symposium on Foundations of Computer Science (21st : 1980 : Syracuse、 N.Y.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Long Beach : IEEE Computer Society, 1980.
|
 |
0 索取号:TP3-53/E8012/1 作者:European Computing Congress (1st : 1974 : Brunel University)、Online International Ltd.、Business Equipment Trade Association.、 出版社:Uxbridge : Online (Computer Systems) Ltd., [1974].
|  |
0 索取号:TP3-53/E9021/8 作者:Conference on Electronic Computation (8th : 1983 : Houston、 Tex.)、Nelson、 James K.、American Society of Civil Engineers. Structural Division. Committee on Electronic Computation.、 出版社:New York, N.Y. : ASCE, 1983.
|